新しいプログラミング・パラダイム② ラムダ計算と高階プログラミング